logical implication

英 [ˈlɒdʒɪkl ˌɪmplɪˈkeɪʃn]

美 [ˈlɑːdʒɪkl ˌɪmplɪˈkeɪʃn]

网络  逻辑意涵; 逻辑隐含式; 逻辑蕴涵式; 逻辑蕴含; 逻辑蕴涵

英英释义

noun

• a logical relation between propositions p and q of the form `if p then q'
  Synonym:implicationconditional relation

双语例句

• The Dual Principal-Agent Theory: Logical Starting Point, Theoretical Model and Governance Implication
  双重委托代理结构：逻辑起点、理论模型与治理要义
• This paper points out that: In natural language fluent, the reasoning type of "ruguo" and "rugu-oshuo" is different: the former emphasizes on the logical reasoning which indicates material implication, and the latter emphasizes on the metaphor reasoning.
  文章提出以下一些观点：自然语流中，如果句式与如果说句式在推理类型上有所侧重，前者重在表示逻辑推理，后者重在表示隐喻推理；
• Material and logical implication coincide in the classical logic, however they do not coincide in every logics.
  实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。
• Research on logical implication for XML based on DTD path coding
  基于DTD路径编码的XML逻辑蕴涵问题研究
• Full implication triple I method improves the traditional CRI algorithm effectively, and brings fuzzy reasoning within the framework of logical semantic implication.
  全蕴涵三I算法有效地改进了经典的CRI算法，并将之纳入到模糊逻辑的框架之中。
• Logical implication of set of FDs for XML
  XML函数依赖集的逻辑蕴含
• The Logical Implication on Social Construction of the Paris Commune and Its Contemporary Value
  巴黎公社社会建设的逻辑蕴涵与当代价值
• Coding DTD can test the logical implication problem of XML function dependency in linear time.
  编码后的DTD能在线性时间内对XML函数依赖的逻辑蕴涵问题进行判定。
• At present, many Game logical implication of the study in game theory research.
  目前许多博弈逻辑的研究首先是以博弈论研究为基础的。
• XML function dependency, logical implication are the foundation of the further research on XML key and XML normalization theory.
  XML函数依赖、逻辑蕴涵是进一步研究XML键和XML规范化理论的基础。